<html>
<head>
    <link rel="stylesheet" type="text/css" href="css/tips.css">
</head>
<body>


<p>To open any particular file in the editor quickly, press <span class="shortcut">&shortcut:GotoFile;</span>
    (<span class="control">Navigate | File</span>)
    and start typing its name.</p>
<p>Choose a symbol from the lookup list that appears.</p>
<p class="image"><img src="images/goto_file.png"></p>

</body>
</html>